/*
    kernel_tables.h

    the top-level header file for providing system table layouts

    Author: Aidan Goddard 9/8/13
*/

#ifndef KERNEL_TABLES_H_INCLUDED
#define KERNEL_TABLES_H_INCLUDED

// include base type defines
#include"types.h"

// include the scheduler tables
#include"scheduler_tables.h"

// include the tables used during system setup
#include"system_config_tables.h"

// include ACPI tables
#include"ACPI_tables.h"

// include page allocation tables
#include"page_alloc.h"

// include message handling tables
#include"message_handling.h"

// include PCI configuration tables
#include"PCI_tables.h"

#endif
